Differential of a function - PDFSEARCH.IO - Document Search Engine

Differential of a function
Results: 525

#	Item
61	Herbrand’s theorem and extractive proof theory U. Kohlenbach Department of Mathematics Technische Universit¨at Darmstadt Schlossgartenstrasse 7, 64289 Darmstadt, Germany September 1, 2008 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2008-09-01 05:59:33 Mathematics Mathematical analysis Mathematical logic Functions and mappings Computability theory Primitive recursive function Recursion Theory of computation First-order logic Limit of a function Peano axioms Spectral theory of ordinary differential equations
62	DEGREES BOUNDING PRINCIPLES AND UNIVERSAL INSTANCES IN REVERSE MATHEMATICS LUDOVIC PATEY ABSTRACT. A Turing degree d bounds a principle P of reverse mathematics if every computable instance of P has a d-computable soluti Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-07-04 03:53:43 Mathematics Mathematical analysis Theory of computation Computability theory Theoretical computer science Computation in the limit Computable function Differential forms on a Riemann surface Congruence lattice problem
63 $Riemann surfaces / Continued fractions / Lie groups / Constructible universe / Mbius transformation / Bessel function / Differential forms on a Riemann surface$	RATIONAL PERIOD FUNCTIONS FOR P SL(2, Z) YJ. Choie and D. Zagier A rational period function (RPF) of weight 2k (k ≥ 0) for P SL(2, Z) is a rational function q(z) satisfying the two identities Add to Reading List Source URL: people.mpim-bonn.mpg.de Language: English - Date: 2011-06-28 09:26:28 Riemann surfaces Continued fractions Lie groups Constructible universe Mbius transformation Bessel function Differential forms on a Riemann surface
64	Pointwise hereditary majorization and some applications Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universit¨at Robert–Mayer–Str. 6–10, 6000 Frankfurt am Main, FRG Abstract A pointwise version of the H Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 10:11:23 Computability theory Primitive recursive functional Proof theory Continuous function Spectral theory of ordinary differential equations It diffusion
65	! Revised September 29, 2015 6:10 PM! 1 Add to Reading List Source URL: kiwi.atmos.colostate.edu Language: English - Date: 2015-09-30 08:31:38 Mathematical analysis Mathematics Analysis Differential calculus Functions and mappings Derivative Rates Finite difference method Finite difference Differential of a function Compact finite difference
66	Proof mining in L1-approximation Ulrich Kohlenbach a,1, Paulo Oliva a,1 a Department of Computer Science, University of Aarhus, DK-8000 Aarhus C, Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:33:41 Mathematical analysis Mathematics Operator theory Computability theory Approximation theory Fourier analysis Modulus of continuity Primitive recursive function Linear temporal logic Differential forms on a Riemann surface
67	Some computational aspects of metric fixed point theory Ulrich Kohlenbach Department of Mathematics Darmstadt University of Technology Schlossgartenstraße 7 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:20:54 Mathematical analysis Operator theory Mathematics Computability theory Contraction Primitive recursive function Differential forms on a Riemann surface Distribution
68	The hyperbolic meaning of the Milnor–Wood inequality Daniel V. Mathews Abstract We introduce a notion of the twist of an isometry of the hyperbolic plane. This twist function is defined on the universal covering group Add to Reading List Source URL: www.danielmathews.info Language: English - Date: 2010-07-02 20:52:39 Geometry Mathematics Space Lemmas Lie groups Convex analysis Convex cone Linear algebra Differential geometry of surfaces Closed and exact differential forms Mbius transformation Constructible universe
69	We Really Don’t Know How to Compute! Gerald Jay Sussman Massachusetts Institute of Technology CSAIL and EECS Add to Reading List Source URL: mcdonnell.mit.edu Language: English - Date: 2015-06-17 01:07:25 Mathematical analysis Mathematics Analysis Analytic functions Derivative Differential calculus Rates Trigonometric functions Differentiation rules Function of a real variable
70	Eurographics Symposium on Geometry Processing 2009 Marc Alexa and Michael Kazhdan (Guest Editors) Volume), Number 5 Add to Reading List Source URL: geometry.stanford.edu Language: English - Date: 2010-04-16 23:11:43 Geometry Mathematics Space Metric geometry Metric space Hausdorff distance Envelope Closed and exact differential forms Net Limit of a function Differential forms on a Riemann surface GromovHausdorff convergence

UPDATE